Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. . 1998-2007.
Diagrammatic reasoning — is reasoning by means of visual representations. The study of diagrammatic reasoning is about the understanding of concepts and ideas, visualized with the use of diagrams and imagery instead of by linguistic or algebraic means. Contents 1 Related … Wikipedia
Penrose graphical notation — In mathematics and physics, Penrose graphical notation or tensor diagram notation is a (usually handwritten) visual depiction of multilinear functions or tensors proposed by Roger Penrose[1]. A diagram in the notation consists of several shapes… … Wikipedia
Mathematical notation — For information on rendering mathematical formulas in Wikipedia, see Help:Formula. See also: Table of mathematical symbols Mathematical notation is a system of symbolic representations of mathematical objects and ideas. Mathematical notations are … Wikipedia
Charles Sanders Peirce — B … Wikipedia
Charles Peirce — Infobox Scientist name = Charles Peirce box width = image size = 200px caption = Charles Peirce birth date = September 10, 1839 birth place = Cambridge, Massachusetts death date = April 19, 1914 death place = residence = citizenship = nationality … Wikipedia
Spin network — In physics, a spin network is a type of diagram which can be used to represent states and interactions between particles and fields in quantum physics. From a mathematical perspective, the diagrams are a concise way to represent multilinear… … Wikipedia
Gottlob Frege — Infobox Philosopher region = Western Philosophy era = 19th century philosophy, color = #B0C4DE image caption = Friedrich Ludwig Gottlob Frege name = Friedrich Ludwig Gottlob Frege birth = November 8, 1848 death = 26 July, 1925 school tradition =… … Wikipedia
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
Object Constraint Language — The Object Constraint Language (OCL) is a declarative language for describing rules that apply to Unified Modeling Language (UML) models developed at IBM and now part of the UML standard. Initially, OCL was only a formal specification language… … Wikipedia
Quantification — has two distinct meanings.In mathematics and empirical science, it refers to human acts, known as counting and measuring that map human sense observations and experiences into members of some set of numbers. Quantification in this sense is… … Wikipedia
OMTROLL — OMTROLL[1] basically is an Object oriented modeling idea that has been formulated by combining the traditional Object Modelling Approaches(OMT) and the formal specifications of the TROLL language. OMTROLL was basically created so as to: exploit… … Wikipedia
